Curry-Howard correspondence
[网络] 柯里-霍华德同构
热门查询
- hippie n. 嬉皮士；嬉皮模样的年青人 adj. 嬉皮的
- reciprocate vt. 报答；互换；互给 vi. 往复运动；互换；酬答；互给
- idling n. [电] 空载；空运转
- sunscreen n. （防晒油中的）遮光剂；防晒霜
- variceal adj. 静脉曲张的，脉管曲张的
- fickleness n. 浮躁；变化无常
- unburned adj. 未燃的；未烧过的
- imbrication n. 鳞状重叠；鳞状图案
- tuberculosis n. 肺结核；结核病
- legation n. 公使馆；使者的派遣
- bp abbr. 英国石油公司（British Petroleum）；BP机，传呼机（俗称BB机）；巴格达条约（Baghdad Pact）；监狱管理局（Bureau of Prisons）
- remittance n. 汇款；汇寄之款；汇款额
- keyboard n. 键盘 vt. 键入；用键盘式排字机排字 vi. 用键盘进行操作；作键盘式排字机排字
- expressionist n. 表现派作家；表现主义艺术家 adj. 表现主义的
- Ryman [人名] [英格兰人姓氏] 赖曼 Ryel的变体
- milled adj. 磨碎的；滚花的；铣成的 v. 磨，碾压（mill的过去式）
- onionskin n. 洋葱头皮；薄光泽纸；透明薄纸
- hassock n. 跪垫；草丛；当座凳用的厚垫
- boned n. (Boned)人名；(西)博内德 adj. 骨骼的；去掉骨头的；用骨架撑起的；施过骨粉料的；去骨的
- sympathize vi. 同情，怜悯；支持
考试词汇表
- two phase flow heat transfer
- two position three-way valve
- two roll plastic mixing mill
- two section income statement
- two ship way building system
- two sided wedge shaped brick
- two sound track stereo radio
- two speed proportioning pump
- two stage high viscosity mix
- two stage injection moulding
- two step decompression cycle
- two story sedimentation tank
- two to one frequency divider
- two way classification model
- two way communication system
- two wayelectrochromatography
- two-aperture electronic lens
- two-axis synchronous machine
- two-bed hydrodesulfurization
- two-channel direction-finder
